Eecient Computation of Behavior Strategies

Efficient computation of fixpoints that arise in complex program analysis

This paper presents an eecient algorithm for solving the xpoints that arise in complex program analysis based on abstract interpretation. The algorithm behaves like those based upon interval analysis of a ow graph, but without requiring the ow graph to be given a priori. In the general case, the structure of the x-point computation is not known prior to analysis. In the algorithm, the entailmen...

Transformations for Efficient Evaluations in Functional Programming

Rewriting is a suitable mechanism to implement functional programming languages. The deenition of eecient evaluation strategies is a natural concern in this setting. Recently we have shown that, by imposing some simple restrictions on the replacements which are allowed for the arguments of functions, we can obtain eecient head-evaluations of terms in a certain class of programs. We are also abl...

Architecture-eecient Strassen's Matrix Multiplication: a Case Study of Divide-and-conquer Algorithms Architecture-eecient Strassen's Matrix Multiplication: a Case Study of Divide-and-conquer Algorithms

Many fast algorithms in arithmetic complexity have hierarchical or recursive structures that make eecient implementations on high performance computers with memory hierarchies non-trivial. In this paper we present our ndings on eecient implementation of Strassen's algorithmm17] for the ubiquitous operation of matrix multiplication as a model for a class of recursive algorithms. In comparison to...

Eecient Computation of Orthogonal Polynomials in Computer Algebra Eecient Computation of Orthogonal Polynomials in Computer Algebra

The Role of the Manager in a Noncooperative Network yYannis

In noncooperative networks users make control decisions that optimize their individual performance objectives. Nash equilibria characterize the operating points of such networks. Nash equilibria exhibit, in general, suboptimal network performance. Focusing on routing , a methodology is devised for overcoming this dee-ciency, through the intervention of the network manager. The manager controls ...